L'outil de personnalisation GNOME (en anglais, GNOME Tweak Tool), est un utilitaire fourni pour permettre la personnalisation de GNOME Shell.
Depuis sa version 3.26, l'outil de personnalisation se nomme "Ajustements" ("GNOME Tweaks" en anglais).
Cet utilitaire est installé par défaut sur Ubuntu GNOME.
Mais il n'est pas présent par défaut à partir d'Ubuntu 17.10, où il se trouve normalement dans la logithèque sous le nom de "Ajustements".
Sinon, pour obtenir ce logiciel, il suffit d'installer le paquet "gnome-tweak-tool".
Lancez l'application "Ajustements" (ou, précédemment, "Outil de personnalisation GNOME") comme indiqué ici, ou via le terminal avec la commande suivante :
gnome-tweak-tool
Sur le coté, on voit une liste de catégories de choses à modifier. Le plus simple reste peut-être de rechercher le paramètre voulu avec l'icône qui ouvre la barre de recherche. Détaillons chacune des sections disponibles :
Cette section permet de changer de thème d'icônes, de thème GTK+, de thème de curseur.
Pour changer le thème de GNOME Shell lui-même (barre supérieure, dash, menus de la barre supérieure, etc.), il faut activer l'extension "User Theme" (voir plus loin) puis installer un thème GNOME Shell. Ré-ouvrez alors Ajustements pour sélectionner le thème voulu.
Désactiver les animations permet de fluidifier la navigation et la recherche si votre ordinateur est peu performant.
Les applications ajoutées ici se lanceront au démarrage de la session.
Plusieurs possibilités sont offertes :
Activer les icônes sur le bureau (et choisir lesquelles ajouter au bureau par défaut : Corbeille, Dossier personnel, Volumes montés, Serveurs réseaux).
Choix et paramétrage du fond d'écran et de l'écran de verrouillage.
Paramétrage avancé du clavier et des touches spéciales.
Paramètres de clic pour le pavé tactile, d'accélération de la souris, coller ou non avec le clic du milieu, etc.
Régler si les espaces de travail sont dynamiques (création et suppression automatiques) ou statiques (dans ce cas, régler leur nombre), et comment ils se comportent vis-à-vis des écrans dans le cas où il y en a plusieurs.
Activer, désactiver, désinstaller1) ou paramétrer les extensions (voir l'article dédié aux extensions) qui permettent de personnaliser en profondeur l'interface de GNOME Shell.
Cette section contient divers paramètres de gestion des fenêtres
Nom, taille, mise à l'échelle et optimisation des polices pour les titres, les documents, les interfaces, etc.
Paramètres avancés de saisie au clavier (comportement des touches spéciales et paramètres spécifiques à certains claviers étrangers).
Action de la fermeture de l'écran (ordi portable) et du bouton d'alimentation.